Optimal. Leaf size=480 \[ \frac {d^3 e^{-\frac {a (1+m)}{b n}} (f x)^{1+m} \left (c x^n\right )^{-\frac {1+m}{n}} \Gamma \left (1+p,-\frac {(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{f (1+m)}+\frac {3 d^2 e e^{-\frac {a (1+m+r)}{b n}} x^{1+r} (f x)^m \left (c x^n\right )^{-\frac {1+m+r}{n}} \Gamma \left (1+p,-\frac {(1+m+r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m+r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+r}+\frac {3 d e^2 e^{-\frac {a (1+m+2 r)}{b n}} x^{1+2 r} (f x)^m \left (c x^n\right )^{-\frac {1+m+2 r}{n}} \Gamma \left (1+p,-\frac {(1+m+2 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m+2 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+2 r}+\frac {e^3 e^{-\frac {a (1+m+3 r)}{b n}} x^{1+3 r} (f x)^m \left (c x^n\right )^{-\frac {1+m+3 r}{n}} \Gamma \left (1+p,-\frac {(1+m+3 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m+3 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+3 r} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.45, antiderivative size = 480, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 4, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.148, Rules used = {2395, 2347,
2212, 20} \begin {gather*} \frac {d^3 (f x)^{m+1} e^{-\frac {a (m+1)}{b n}} \left (c x^n\right )^{-\frac {m+1}{n}} \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(m+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p} \text {Gamma}\left (p+1,-\frac {(m+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )}{f (m+1)}+\frac {3 d^2 e x^{r+1} (f x)^m e^{-\frac {a (m+r+1)}{b n}} \left (c x^n\right )^{-\frac {m+r+1}{n}} \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(m+r+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p} \text {Gamma}\left (p+1,-\frac {(m+r+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )}{m+r+1}+\frac {3 d e^2 x^{2 r+1} (f x)^m e^{-\frac {a (m+2 r+1)}{b n}} \left (c x^n\right )^{-\frac {m+2 r+1}{n}} \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(m+2 r+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p} \text {Gamma}\left (p+1,-\frac {(m+2 r+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )}{m+2 r+1}+\frac {e^3 x^{3 r+1} (f x)^m e^{-\frac {a (m+3 r+1)}{b n}} \left (c x^n\right )^{-\frac {m+3 r+1}{n}} \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(m+3 r+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p} \text {Gamma}\left (p+1,-\frac {(m+3 r+1) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )}{m+3 r+1} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 20
Rule 2212
Rule 2347
Rule 2395
Rubi steps
\begin {align*} \int (f x)^m \left (d+e x^r\right )^3 \left (a+b \log \left (c x^n\right )\right )^p \, dx &=\int \left (d^3 (f x)^m \left (a+b \log \left (c x^n\right )\right )^p+3 d^2 e x^r (f x)^m \left (a+b \log \left (c x^n\right )\right )^p+3 d e^2 x^{2 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )^p+e^3 x^{3 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )^p\right ) \, dx\\ &=d^3 \int (f x)^m \left (a+b \log \left (c x^n\right )\right )^p \, dx+\left (3 d^2 e\right ) \int x^r (f x)^m \left (a+b \log \left (c x^n\right )\right )^p \, dx+\left (3 d e^2\right ) \int x^{2 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )^p \, dx+e^3 \int x^{3 r} (f x)^m \left (a+b \log \left (c x^n\right )\right )^p \, dx\\ &=\left (3 d^2 e x^{-m} (f x)^m\right ) \int x^{m+r} \left (a+b \log \left (c x^n\right )\right )^p \, dx+\left (3 d e^2 x^{-m} (f x)^m\right ) \int x^{m+2 r} \left (a+b \log \left (c x^n\right )\right )^p \, dx+\left (e^3 x^{-m} (f x)^m\right ) \int x^{m+3 r} \left (a+b \log \left (c x^n\right )\right )^p \, dx+\frac {\left (d^3 (f x)^{1+m} \left (c x^n\right )^{-\frac {1+m}{n}}\right ) \text {Subst}\left (\int e^{\frac {(1+m) x}{n}} (a+b x)^p \, dx,x,\log \left (c x^n\right )\right )}{f n}\\ &=\frac {d^3 e^{-\frac {a (1+m)}{b n}} (f x)^{1+m} \left (c x^n\right )^{-\frac {1+m}{n}} \Gamma \left (1+p,-\frac {(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{f (1+m)}+\frac {\left (3 d^2 e x^{1+r} (f x)^m \left (c x^n\right )^{-\frac {1+m+r}{n}}\right ) \text {Subst}\left (\int e^{\frac {(1+m+r) x}{n}} (a+b x)^p \, dx,x,\log \left (c x^n\right )\right )}{n}+\frac {\left (3 d e^2 x^{1+2 r} (f x)^m \left (c x^n\right )^{-\frac {1+m+2 r}{n}}\right ) \text {Subst}\left (\int e^{\frac {(1+m+2 r) x}{n}} (a+b x)^p \, dx,x,\log \left (c x^n\right )\right )}{n}+\frac {\left (e^3 x^{1+3 r} (f x)^m \left (c x^n\right )^{-\frac {1+m+3 r}{n}}\right ) \text {Subst}\left (\int e^{\frac {(1+m+3 r) x}{n}} (a+b x)^p \, dx,x,\log \left (c x^n\right )\right )}{n}\\ &=\frac {d^3 e^{-\frac {a (1+m)}{b n}} (f x)^{1+m} \left (c x^n\right )^{-\frac {1+m}{n}} \Gamma \left (1+p,-\frac {(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{f (1+m)}+\frac {3 d^2 e e^{-\frac {a (1+m+r)}{b n}} x^{1+r} (f x)^m \left (c x^n\right )^{-\frac {1+m+r}{n}} \Gamma \left (1+p,-\frac {(1+m+r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m+r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+r}+\frac {3 d e^2 e^{-\frac {a (1+m+2 r)}{b n}} x^{1+2 r} (f x)^m \left (c x^n\right )^{-\frac {1+m+2 r}{n}} \Gamma \left (1+p,-\frac {(1+m+2 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m+2 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+2 r}+\frac {e^3 e^{-\frac {a (1+m+3 r)}{b n}} x^{1+3 r} (f x)^m \left (c x^n\right )^{-\frac {1+m+3 r}{n}} \Gamma \left (1+p,-\frac {(1+m+3 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (a+b \log \left (c x^n\right )\right )^p \left (-\frac {(1+m+3 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+3 r}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.52, size = 408, normalized size = 0.85 \begin {gather*} x^{-m} (f x)^m \left (a+b \log \left (c x^n\right )\right )^p \left (\frac {d^3 e^{-\frac {(1+m) \left (a-b n \log (x)+b \log \left (c x^n\right )\right )}{b n}} \Gamma \left (1+p,-\frac {(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (-\frac {(1+m) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m}+e \left (\frac {3 d^2 e^{-\frac {(1+m+r) \left (a-b n \log (x)+b \log \left (c x^n\right )\right )}{b n}} \Gamma \left (1+p,-\frac {(1+m+r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (-\frac {(1+m+r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+r}+e \left (\frac {3 d e^{-\frac {(1+m+2 r) \left (a-b n \log (x)+b \log \left (c x^n\right )\right )}{b n}} \Gamma \left (1+p,-\frac {(1+m+2 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (-\frac {(1+m+2 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+2 r}+\frac {e e^{-\frac {(1+m+3 r) \left (a-b n \log (x)+b \log \left (c x^n\right )\right )}{b n}} \Gamma \left (1+p,-\frac {(1+m+3 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right ) \left (-\frac {(1+m+3 r) \left (a+b \log \left (c x^n\right )\right )}{b n}\right )^{-p}}{1+m+3 r}\right )\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.10, size = 0, normalized size = 0.00 \[\int \left (f x \right )^{m} \left (d +e \,x^{r}\right )^{3} \left (a +b \ln \left (c \,x^{n}\right )\right )^{p}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int {\left (f\,x\right )}^m\,{\left (d+e\,x^r\right )}^3\,{\left (a+b\,\ln \left (c\,x^n\right )\right )}^p \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________